Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels
نویسندگان
چکیده
The increased sharing of computational resources elevates the risk of side channels and covert channels, where an entity’s security is affected by the entities with which it is co-located. This introduces a strong demand for mechanisms that can effectively isolate individual computations. Such mechanisms should be efficient, allowing resource utilisation to be maximised despite isolation. In this work, we develop a model for uniformly describing isolation, colocation and containment relationships between entities at multiple levels of a computer’s architecture and at different granularities. In particular, we examine the formulation of constraints on co-location and placement using partial specifications, as well as the cost of maintaining isolation guarantees on dynamic systems. We apply the model to a number of established attacks and mitigations.
منابع مشابه
On the Use of Migration to Stop Illicit Channels
Side and covert channels (referred to collectively as illicit channels) are an insidious affliction of high security systems brought about by the unwanted and unregulated sharing of state amongst processes. Illicit channels can be effectively broken through isolation, which limits the degree by which processes can interact. The drawback of using isolation as a general mitigation against illicit...
متن کاملThe Impact of Multimodal Channels on Teaching Idiomatic Expressions to Intermediate EFL Learners with Regard to Their Attitudes
This study was to explore facilitative function of using multimodal channels over single channel presentation and comprehension of idiomatic expressions to Iranian EFL intermediate proficiency learners. Out of a pool of 90, sixty intermediate participants were homogenized by a QPT test, using a quasi-experimental design. They were randomly assigned to three equal groups: WhatsApp-, SMS- and Cla...
متن کاملSimulation study of the transport properties of ions through ion channels serving as primary components of a nanobiosensor
Ion channels are naturally occurring pores through the proteins that regulate the passage of ions and thus maintain the concentration of ions inside and outside the cell. The ion channels control many physiological functions and they can show selectivity for a specific ion. Ion channels are mostly observed in nerve cells and muscle cells. The influx of ions into cells can be regulated by a gate...
متن کاملSimulation study of the transport properties of ions through ion channels serving as primary components of a nanobiosensor
Ion channels are naturally occurring pores through the proteins that regulate the passage of ions and thus maintain the concentration of ions inside and outside the cell. The ion channels control many physiological functions and they can show selectivity for a specific ion. Ion channels are mostly observed in nerve cells and muscle cells. The influx of ions into cells can be regulated by a gate...
متن کاملIllicit Drug Use and its Correlations Among Hookah Users in Khalil Abad, Northeast of Iran
Background and aims: One of the most important problems of public health is illicit drug use. The aim of this study was to assess the status of illicit drug use and associated factors among hookah smokers in Khalil Abad city in 2015. Methods: The cross-sectional study was conducted in Khalil Abad city (northeast of Iran) in 2015. A sample of 161 hookah users was selected using 2-stage sampling....
متن کامل